For example, substituting propositions in natural language for logical variables, the inverse of the conditional proposition, " If it's raining, then Sam will meet Jack at the movies " is " If it's not raining, then Sam will not meet Jack at the movies ."